Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
621	in: Proceedings of HLT-NAACL[removed]Edmonton, Canada, May 27 – June 1, 2003. This version was produced on April 2, 2003. Greedy Decoding for Statistical Machine Translation in Almost Linear Time Ulrich Germann Add to Reading List Source URL: www.isi.edu Language: English - Date: 2003-07-11 00:02:12 Algorithm Mathematical logic Theoretical computer science Statistical machine translation BLEU Applied mathematics Science List decoding Coding theory Error detection and correction Mathematics
622	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: gd.tuwien.ac.at Language: English - Date: 2010-04-20 11:48:05 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand
623	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2010-04-20 11:48:05 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand
624	1 A Contract-Based Methodology for Aircraft Electric Power System Design Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donz´e, Sanjit A. Seshia Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:26 Electromagnetism Temporal logic Electronic design Systems engineering Linear temporal logic Reliability engineering Control theory Topology High-level synthesis Electronic engineering Design Electronic design automation
625	IP Ð#!!3Ñ 1 INTEGER LINEAR PROGRAMMING (IP) IP is the name given to LP problems which have the additional constraint that some or all the variables have to be integer. 1. CLASSICAL INTEGER PROGRAMMING PROBLEMS Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2003-10-13 09:44:24 Mega Man X4 Science Application software Software COMPASS/Sample Code PROPT Knowledge representation Logic form Natural language processing
626	TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, and Richard M. Murray* * Singapore-MIT Alliance for Research and Technology, Sing Add to Reading List Source URL: www.aero.umd.edu Language: English - Date: 2014-08-25 12:01:34 Applied mathematics Linear temporal logic Temporal logic Formal verification Model checking Model predictive control Control theory SIGNAL Embedded system Electronic engineering Formal methods Formal sciences
627	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 2010-04-20 11:48:05 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand
628	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: ftp.leg.uct.ac.za Language: English - Date: 2010-04-20 11:48:05 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand
629	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: mirror.aut.ac.nz Language: English - Date: 2010-04-20 10:48:00 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand
630	Linear Logic symbols for Computer Modern Emmanuel Beffara April 20, 2010 1 Add to Reading List Source URL: ctan.mackichan.com Language: English - Date: 2010-04-20 11:48:05 Consejo Mundial de Lucha Libre Sport in Mexico Professional wrestling tournaments Professional wrestling Symbol Ampersand

UPDATE